(or not oveA-complete.) . Let * be a unary operator defined on the set F of formulas of the language £ (ie, if A is a formula of £, then *A is also a ...

Background The post-trial period is the time period after the end of study drug administration. It is unclear whether post-trial arrangements for patient surveillance are routinely included in study protocols and consents, and whether research ethics boards (REB) consider the post-trial period. Objectives The objective was to determine whether trial protocols and consent forms reviewed by the REB describe procedures for post-trial period surveillance. Methods An observational study of protocols of randomised trials of chronic therapies for cardiac conditions, approved by (...) the REB of two academic institutions affiliated with the University of Toronto in Canada (University Health Network and Mount Sinai Hospital) from 1995 to 2007. Plans for patient surveillance in the post-trial period described in the protocol or in the consent form before and after REB approval were recorded. Results 42 studies were identified including 18 heart failure and 15 coronary artery disease trials. Only four studies planned a clinical visit after trial termination, and an additional three planned a telephone contact after trial completion. Five trials submitted consent forms to the REB with a discussion of the post-trial period. Conclusions The majority of protocols and consent forms did not discuss plans for post-trial period surveillance. The post-trial period and the REB approval process could be improved by systematic follow-up being described in the protocol and consent form. The small number of trial protocols evaluated in the study may impair the degree to which the results can be generalised. (shrink)

Problems of logical theory choice are current being widely dis- cussed in the context of anti-exceptionalist views on logic. According to those views, logic is not a special science among others, so, in particular, the methodology for theory choice should be the same in logic as for other scientific disciplines. Richard Routley advanced one such methodology which meshes well with anti-exceptionalism, and argued that it leads one to choosing one single logic, which is a kind of ultralogic. We argue that (...) the choice for only one correct system of logic may be rejected on the basis of the methodology proposed by Routley and, furthermore, that taking anti-exceptionalism about logic seriously recommends that a pluralist view of logic should be accepted. We call this view “full-blooded anti-exceptionalism”, and the resulting view on logic, lacking a proper name, “local pluralism”. (shrink)

Provability, Computability and Reflection.

This Is A New Release Of The Original 1915 Edition.

Provability, Computability and Reflection.

In this basically expository paper we discuss the role of logic and mathematics in researches concerning the ontology of scientific theories, and we consider the particular case of quantum mechanics. We argue that systems of logic in general, and classical logic in particular, may contribute substantially with the ontology of any theory that has this logic in its base. In the case of quantum mechanics, however, from the point of view of philosophical discussions concerning identity and individuality, those contributions may (...) not be welcome for a specific interpretation, and an alternative system of logic perhaps could be used instead of a classical system. In this sense, we argue that the logic and ontology of a scientific theory may be seen as mutually influencing each other. On the one hand, logic contributes to shape the general features of the ontology of a theory; on the other hand, the theory also puts constraints on the possible understanding of ontology and, respectively, on possible systems of logic that may be the underlying logic of the theory. (shrink)

The eight pieces constituting this Meeting Report are summaries of presentations made during a panel session at the 2011 Association for Practical and Professional Ethics (APPE) annual meeting held between March 3rd and 6th in Cincinnati. Lisa Newton organized the session and served as chair. The panel of eight consisted both of pioneers in the field and more recent arrivals. It covered a range of topics from how the field has developed to where it should be going, from identification (...) of issues needing further study to problems of training the next generation of engineers and engineering-ethics scholars. (shrink)

Late in 1990, the Center for the Study of Ethics in the Professions at Illinois Institute of Technology (lIT) received a grant of more than $200,000 from the National Science Foundation to try a campus-wide approach to integrating professional ethics into its technical curriculum.! Enough has now been accomplished to draw some tentative conclusions. I am the grant's principal investigator. In this paper, I shall describe what we at lIT did, what we learned, and what others, especially philosophers, can learn (...) from us. We set out to develop an approach that others could profitably adopt. I believe that we succeeded. (shrink)

Cognitive science is currently a rapidly expanding area of research. Much is being written on it, but this collection is notable for its contributors who are extremely eminent and distinguished in the subject . The collection is well-balanced, since it includes the work of both philosophers and scientists . It will therefore appeal to all academics interested in the subject, irrespective of whether they have approached the subject from a philosophical or from a scientific point of view.

Editors’ note: These four interrelated discussions of the role of the cerebellum in coordinating emotional and higher cognitive functions developed out of a workshop presented by the four authors for the 2000 Conference of the Cognitive Science Society at the University of Pennsylvania. The four interrelated discussions explore the implications of the recent explosion of cerebellum research suggesting an expanded cerebellar role in higher cognitive functions as well as in the coordination of emotional functions with learning, logical thinking, perceptual consciousness, (...) and action planning. (shrink)

How does our understanding of what it means to be rational affect our interpretation of the world around us? ... Essayists discuss the nature and extent of rationality - its content, focus, and the intrinsic guidelines for using the term "rational" when describing persons or actions. The distinguished contributors to this collection include Max Black, Steven J. Brams, James H. Bunn, Christopher Cherniak, Murray Clarke, Marjorie Clay, Paul Diesing, Antony Flew, John T. Kearns, D. Mark Kilgour, Hilary Kornblith, Charles H. (...) Lambros, Duncan MacIntosh, Alistair MacLeod, Robert G. Meyers, Erwin Segal, Zeno G. Swijtink, Brice R. Wachterhauser, and Paul Weirich. (shrink)

Peter Anstey presents a thorough and innovative study of John Locke's views on the method and content of natural philosophy. Focusing on Locke's Essay concerning Human Understanding, but also drawing extensively from his other writings and manuscript remains, Anstey argues that Locke was an advocate of the Experimental Philosophy: the new approach to natural philosophy championed by Robert Boyle and the early Royal Society who were opposed to speculative philosophy. On the question of method, Anstey shows how Locke's pessimism about (...) the prospects for a demonstrative science of nature led him, in the Essay, to promote Francis Bacon's method of natural history, and to downplay the value of hypotheses and analogical reasoning in science. But, according to Anstey, Locke never abandoned the ideal of a demonstrative natural philosophy, for he believed that if we could discover the primary qualities of the tiny corpuscles that constitute material bodies, we could then establish a kind of corpuscular metric that would allow us a genuine science of nature. It was only after the publication of the Essay, however, that Locke came to realize that Newton's Principia provided a model for the role of demonstrative reasoning in science based on principles established upon observation, and this led him to make significant revisions to his views in the 1690s. On the content of Locke's natural philosophy, it is argued that even though Locke adhered to the Experimental Philosophy, he was not averse to speculation about the corpuscular nature of matter. Anstey takes us into new terrain and new interpretations of Locke's thought in his explorations of his mercurialist transmutational chymistry, his theory of generation by seminal principles, and his conventionalism about species. (shrink)

The apparently paradoxical nature of self-deception has attracted a great deal of controversy in recent years. Focussing on those aspects of the phenomenon which involve the holding of "contradictory" beliefs, it is our intention to argue that this presents no "paradox" if a non-classical, "paraconsistent", doxastic logic is adopted. (On such logics, see, for example, N. C. A. da Costa, 'On the theory of inconsistent formal systems', Notre Dame J Formal Logic 11(1974), 497-510, and A. I. Arruda, 'A survey of (...) paraconsistent logic', in A. I. Arruda, N. C. A da Costa and R Chuaqui, _Mathematical Logic in Latin America, North-Holland, 1984, pp. 1-41.). (shrink)

Thought experiments analogous to those discussed by Landau and Peierls are studied in the framework of a manifestly covariant relativistic quantum theory. It is shown that momentum and energy can be arbitrarily well defined, and that the drifts induced by measurement in the positions and times of occurrence of events remain within the (stable) spread of the wave packet in space-time. The structure of the Newton-Wigner position operator is studied in this framework, and it is shown that an analogous (...) time operator can be constructed which satisfies the canonical commutation relation with the energy E but does not commute (due to the presence of a time drift term) with the momentum p. The resulting commutation relation is used as a mathematical basis for the derivation of the Landau-Peierls relation Δt Δp≳ħ/c. (shrink)

R.I.G. Hughes presents a series of eight philosophical essays on the theoretical practices of physics. The first two essays examine these practices as they appear in physicists' treatises (e.g. Newton's Principia and Opticks ) and journal articles (by Einstein, Bohm and Pines, Aharonov and Bohm). By treating these publications as texts, Hughes casts the philosopher of science in the role of critic. This premise guides the following 6 essays which deal with various concerns of philosophy of physics such as (...) laws, disunities, models and representation, computer simulation, explanation, and the discourse of physics. (shrink)

This paper analyses the different ways in which Isaac Newton employed queries in his writings on natural philosophy. It is argued that queries were used in three different ways by Newton and that each of these uses is best understood against the background of the role that queries played in the Baconian method that was adopted by the leading experimenters of the early Royal Society. After a discussion of the role of queries in Francis Bacon’s natural historical method, (...) Newton’s queries in his Trinity Notebook are shown to reveal the influence of his early reading in the new experimental philosophy. Then after a discussion of Robert Hooke’s view of the role of queries, the paper turns to an assessment of Newton’s correspondence and Opticks. It is argued that the queries in his correspondence with Oldenburg on his early optical experiments are closely tied to an experimental program, whereas the queries in the Opticks are more discursive and speculative, but that each of these uses of queries represents a significant Baconian legacy in his natural philosophical methodology.Author Keywords: Bacon; Experiment; Hypothesis; Method; Newton; Query. (shrink)